I-indexed family

Metadata
aliases: []
shorthands: {}
created: 2022-11-13 14:30:47
modified: 2022-11-13 14:36:46

Let be a set and let be a function such that where is any set viewed as an index set. Then is an I-indexed family of elements of , for short, family.

As a set of pairs

Since the function is determined by its graph

The family can be viewed as the set of pairs .

Notation

The usual simple notation is just